This will force any users of wala/ML to also be on Java 17. Are we ok with that?

Good question. Java 17 is an LTS release. Also, given that the release date is Sep 2021, I think that it's been enough time. But, we can continue with Java 11 (though the Maven build specifies Java 8) if desired.

Good question. Java 17 is an LTS release. Also, given that the release date is Sep 2021, I think that it's been enough time. But, we can continue with Java 11 (though the Maven build specifies Java 8) if desired.

I would personally be fine with Java 17. I doubt we have many users stuck on Java 8, and going from Java 11 to 17 shouldn't be as big a deal. For now, we can revert fairly easily if someone complains. Once we start adopting Java 17 language constructs reverting will be more difficult.

I'll leave the decision to you @khatchad